6 results
Gentzen-type systems and resolution rule. Part II. Predicate logic
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 163-190
-
- Chapter
- Export citation
Failure of Interpolation in Constant Domain Intuitionistic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 937-950
- Print publication:
- September 2013
-
- Article
- Export citation
The epsilon substitutionmethod and continuity
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 117-129
-
- Chapter
- Export citation
Strong termination for the epsilon substitution method
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1193-1205
- Print publication:
- December 1996
-
- Article
- Export citation
Logic and computer science, edited by Piergiorgio Odifreddi, APIC studies in data processing, vol. 31, Academic Press, London, San Diego, etc., 1990, xii + 430 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1111-1114
- Print publication:
- September 1994
-
- Article
- Export citation
Proof theory in the USSR 1925–1969
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-424
- Print publication:
- June 1991
-
- Article
- Export citation